| Elective Theoretical Computer Science |
| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Formal Systems, Automata, Processes | Formale Systeme, Automaten, Prozesse (Globalübung) | Übung | 561132 | Di 08:30-10:00 Großer Hörsaal AM (1420|210) (×13) | ||
| Formale Systeme, Automaten, Prozesse | Vorlesung | 560994 | Mo 12:30-14:00 TEMP1 (1515|001) (×12) Do 10:30-12:00 Grüner Hörsaal AM (Gr) (1420|001) (×9) | |||
| Formale Systeme, Automaten, Prozesse | Fach-/Modulprüfung | 6 | 566547 | Fr 21.08.2026 09:00-11:00 Aula 2 (2352|021) Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) TEMP1 (1515|001) Fr 18.09.2026 14:00-16:00 AH IV (2354|030) Aula 2 (2352|021) Grüner Hörsaal AM (Gr) (1420|001) TEMP2 (1515|002) | ||
| Formale Systeme, Automaten, Prozesse - Tutorium | Tutorium | 560232 | Mo 08:00-20:00 Fakultätssitzungssaal Informatik (2359|222) (×1) Mo 10:00-11:30 Seminarraum i1, Raum 4013 (2353|013) (×14) Di 08:00-20:00 Fakultätssitzungssaal Informatik (2359|222) (×1) Di 10:30-12:00 S04 (1385|204) (×12) Di 10:30-12:00 SFo 1 (1821|001) (×12) Di 10:30-12:00 ST 4 (1665|004) (×12) Di 12:30-14:00 HKW 3 (1132|504) (×11) Di 12:30-14:00 S04 (1385|204) (×12) Di 12:30-14:00 S05 (1385|205) (×12) Di 12:30-14:00 S11 (1385|211) (×1) Di 12:30-14:00 ST 1 (1665|001) (×12) Di 12:30-14:00 ST 8 (1665|008) (×12) Di 18:30-20:00 S04 (1385|204) (×12) Di 18:30-20:00 S05 (1385|205) (×13) Di 18:30-20:00 S12 (1385|212) (×12) Mi 08:00-20:00 Fakultätssitzungssaal Informatik (2359|222) (×1) Mi 14:30-16:00 5054 (2356|054) (×12) Mi 14:30-16:00 SG 413 (1810|413) (×12) Mi 14:30-16:00 Z2 (1420|303) (×12) Mi 16:30-18:00 001 (1830|001) (×12) Mi 16:30-18:00 5055 (2356|055) (×12) Mi 16:30-18:00 S03 (1385|203) (×12) Mi 16:30-18:00 Z2 (1420|303) (×12) Mi 16:30-18:00 Z3 (1420|302) (×12) Mi 16:30-18:00 Z4 (1420|301) (×12) | |||
| Mathematical Logic I | Mathematische Logik | Vorlesung | 561188 | Mo 10:00-15:00 Aula 2 (2352|021) (×1) Mo 16:30-18:00 H02 (1385|102) (×12) Do 16:30-18:00 Großer Hörsaal AM (1420|210) (×9) | ||
| Mathematische Logik | Fach-/Modulprüfung | 6 | 567511 | Do 27.08.2026 12:00-14:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) TEMP1 (1515|001) TEMP2 (1515|002) Di 29.09.2026 12:00-14:00 AOC (2020|131) AachenMünchener Halle (Aula) (1010|131) H01 (1385|101) Otto Fuchs-Hörsaal (H03) (1385|003) | ||
| Mathematische Logik | Tutorium | 561177 | Di 08:30-10:00 S07 (1385|207) (×12) Di 10:30-12:00 5055 (2356|055) (×12) Di 10:30-12:00 UMIC_024 (2165|024) (×12) Di 16:30-18:00 5055 (2356|055) (×10) Di 16:30-18:00 SE 001 (1580|001) (×12) Di 18:30-20:00 S03 (1385|203) (×12) Mi 12:30-14:00 5054 (2356|054) (×12) Mi 14:30-16:00 SFo 10 (1821|010) (×11) Mi 14:30-16:00 SFo 3 (1821|003) (×11) Mi 14:30-16:00 ST 1 (1665|001) (×11) Mi 16:30-18:00 SFo 11 (1821|011) (×11) Mi 16:30-18:00 SFo 3 (1821|003) (×11) Do 10:30-12:00 SE 001 (1580|001) (×11) Do 10:30-12:00 ST 3 (1665|003) (×11) Do 12:30-14:00 5055 (2356|055) (×11) Do 12:30-14:00 SFo 1 (1821|001) (×3) Do 12:30-14:00 SFo 9 (1821|009) (×8) Do 12:30-14:00 ST 5 (1665|005) (×11) Do 14:30-16:00 SG 513 (1810|513) (×11) Fr 10:30-12:00 Großer B-IT Raum (2356|053.2) (×10) Fr 10:30-12:00 SE 108 (1580|108) (×1) Fr 10:30-12:00 SFo 10 (1821|010) (×1) Fr 14:30-16:00 5054 (2356|054) (×11) Fr 14:30-16:00 SE 209 (1580|209) (×1) |